Constraint algorithm - PDFSEARCH.IO - Document Search Engine

Constraint algorithm
Results: 320

#	Item
111	Constraints of Difference and Equality: A Complete Taxonomic Characterisation? Emmanuel Hebrard1 , D´ aniel Marx2 , Barry O’Sullivan1 , and Igor Razgon1 1 Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:30 Computing Local consistency Constraint satisfaction Mathematical optimization Decomposition method AC-3 algorithm Constraint programming Software engineering Computer programming
112	Hybrid Local Search Techniques for the Generalized Balanced Academic Curriculum Problem Luca Di Gaspero and Andrea Schaerf DIEGM, University of Udine via delle Scienze 208, I-33100, Udine, Italy Add to Reading List Source URL: www.diegm.uniud.it Language: English - Date: 2008-12-11 12:41:58 Mathematical optimization Search algorithms Constraint programming Cybernetics Genetic algorithm Local search Tabu search Algorithm Reduction Applied mathematics Theoretical computer science Mathematics
113	A Hybrid Constraint Programming / Local Search Approach to the Job-Shop Scheduling Problem Jean-Paul Watson1 and J. Christopher Beck2 1 2 Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2008-06-13 08:20:22 Mathematical optimization Algorithm Mathematical logic Theoretical computer science Science Job shop scheduling Tabu search Guided Local Search Search algorithm Operations research Mathematics Applied mathematics
114	An Empirical Study of Multi-Point Constructive Search for Constraint-Based Scheduling J. Christopher Beck Department of Mechanical & Industrial Engineering University of Toronto Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2006-03-23 15:18:06 Search algorithms Mathematical optimization Job shop scheduling Backtracking Algorithm Optimization problem Operations research Mathematics Applied mathematics
115	Compilation of Planning to SAT Yiqiao Wang 1 Motivation Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-03-10 10:57:49 Logic in computer science Boolean algebra Constraint programming Electronic design automation Formal methods Boolean satisfiability problem Solver Satisfiability Davis–Putnam algorithm Theoretical computer science Mathematics Applied mathematics
116	Multi-Point Constructive Search? J. Christopher Beck Department of Mechanical & Industrial Engineering University of Toronto Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2006-01-18 12:07:28 Applied mathematics Heuristics Backtracking Pattern matching Algorithm Mathematical optimization Constraint satisfaction Heuristic function Science Operations research Search algorithms Mathematics
117	Fast and Scalable Domino Portrait Generation Hadrien Cambazard, John Horan, Eoin O’Mahony, and Barry O’Sullivan Cork Constraint Computation Centre Department of Computer Science, University College Cork, Ireland {h.c Add to Reading List Source URL: pagesperso.g-scop.grenoble-inp.fr Language: English - Date: 2014-04-20 08:37:26 Dominoes Mathematical logic Matching Recreational mathematics Domino Algorithm Assignment problem Polyomino Matador Mathematics Games Domino games
118	Combining Component Caching and Clause Learning for Effective Model Counting Tian Sang1 , Fahiem Bacchus2 , Paul Beame1 , Henry Kautz 1 , and Toniann Pitassi 2 1 Computer Science and Engineering, University of Washingto Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2004-04-13 00:26:28 NP-complete problems Automated theorem proving Constraint programming Boolean algebra Formal methods DPLL algorithm Boolean satisfiability problem Conjunctive normal form Lookup table Theoretical computer science Applied mathematics Mathematics
119	A First-Order Davis-Putnam-Logemann-Loveland Procedure Peter Baumgartner + Some slides from "First Order Theorem Proving" Tutorial Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-04-12 01:52:20 Mathematics Model theory Constraint programming Boolean algebra Skolem normal form Davis–Putnam algorithm First-order logic Resolution Vampire Mathematical logic Logic Automated theorem proving
120	J. theor. Biol, 445} 453 doi:jtbi, available online at http://www.idealibrary.com on Multiple Walking Speed+frequency Relations are Predicted by Constrained Optimization JOHN E. A. BERTRAM- Add to Reading List Source URL: ruina.tam.cornell.edu Language: English* - Date: 2014-05-19 18:32:14 Physics Lagrange multiplier Constraint optimization Preferred walking speed Constraint algorithm Constraint Kinematics Curve Mathematical optimization Mathematics Mathematical analysis

UPDATE